// WARNING: MACHINE GENERATED DON'T CHANGE!
static uint16 unicode3[] = {
0x2227,
0x2228,
0x2229,
0x222a,
0x222b,
0x2234,
0x223c,
0x2245,
0x2248,
0x2260,
0x2261,
0x2264,
0x2265,
0x2282,
0x2283,
0x2284,
0x2286,
0x2287,
0x2295,
0x2297,
0x22a5,
0x22c5,
0x2302,
0x2310,
0x2320,
0x2321,
0x2329,
0x232a,
0x2500,
0x2502,
0x250c,
0x2510,
0x2514,
0x2518,
0x251c,
0x2524,
0x252c,
0x2534,
0x253c,
0x2550,
0x2551,
0x2552,
0x2553,
0x2554,
0x2555,
0x2556,
0x2557,
0x2558,
0x2559,
0x255a,
0x255b,
0x255c,
0x255d,
0x255e,
0x255f,
0x2560,
0x2561,
0x2562,
0x2563,
0x2564,
0x2565,
0x2566,
0x2567,
0x2568,
0x2569,
0x256a,
0x256b,
0x256c,
0x2580,
0x2584,
0x2588,
0x258c,
0x2590,
0x2591,
0x2592,
0x2593,
0x25a0,
0x25a1,
0x25aa,
0x25ab,
0x25ac,
0x25b2,
0x25ba,
0x25bc,
0x25c4,
0x25ca,
0x25cb,
0x25cf,
0x25d8,
0x25d9,
0x25e6,
0x263a,
0x263b,
0x263c,
0x2640,
0x2642,
0x2660,
0x2663,
0x2665,
0x2666,
0x266a,
0x266b,
0xf6be,
0xf6bf,
0xf6c0,
0xf6c1,
0xf6c2,
0xf6c3,
0xf6c4,
0xf6c5,
0xf6c6,
0xf6c7,
0xf6c8,
0xf6c9,
0xf6ca,
0xf6cb,
0xf6cc,
0xf6cd,
0xf6ce,
0xf6cf,
0xf6d0,
0xf6d1,
0xf6d2,
0xf6d3,
0xf6d4,
0xf6d5,
0xf6d6,
0xf6d7,
0xf6d8,
0xf6d9,
0xf6da,
0xf6db,
0xf6dc,
0xf6dd,
0xf6de,
0xf6df,
0xf6e0,
0xf6e1,
0xf6e2,
0xf6e3,
0xf6e4,
0xf6e5,
0xf6e6,
0xf6e7,
0xf6e8,
0xf6e9,
0xf6ea,
0xf6eb,
0xf6ec,
0xf6ed,
0xf6ee,
0xf6ef,
0xf6f0,
0xf6f1,
0xf6f2,
0xf6f3,
0xf6f4,
0xf6f5,
0xf6f6,
0xf6f7,
0xf6f8,
0xf6f9,
0xf6fa,
0xf6fb,
0xf6fc,
0xf6fd,
0xf6fe,
0xf6ff,
0xf721,
0xf724,
0xf726,
0xf730,
0xf731,
0xf732,
0xf733,
0xf734,
0xf735,
0xf736,
0xf737,
0xf738,
0xf739,
0xf73f,
0xf760,
0xf761,
0xf762,
0xf763,
0xf764,
0xf765,
0xf766,
0xf767,
0xf768,
0xf769,
0xf76a,
0xf76b,
0xf76c,
0xf76d,
0xf76e,
0xf76f,
0xf770,
0xf771,
0xf772,
0xf773,
0xf774,
0xf775,
0xf776,
0xf777,
0xf778,
0xf779,
0xf77a,
0xf7a1,
0xf7a2,
0xf7a8,
0xf7af,
0xf7b4,
0xf7b8,
0xf7bf,
0xf7e0,
0xf7e1,
0xf7e2,
0xf7e3,
0xf7e4,
0xf7e5,
0xf7e6,
0xf7e7,
0xf7e8,
0xf7e9,
0xf7ea,
0xf7eb,
0xf7ec,
0xf7ed,
0xf7ee,
0xf7ef,
0xf7f0,
0xf7f1,
0xf7f2,
0xf7f3,
0xf7f4,
0xf7f5,
0xf7f6,
0xf7f8,
0xf7f9,
0xf7fa,
0xf7fb,
0xf7fc,
0xf7fd,
0xf7fe,
0xf7ff,
0xf8e5,
0xf8e6,
0xf8e7,
0xf8e8,
0xf8e9,
0xf8ea,
0xf8eb,
0xf8ec,
0xf8ed
};

